621. Theory and Practice of Model Transformations
Author: edited by Zhenjiang Hu, Juan Lara
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer Communication Networks,Computer science,Logic design,Software engineering,Computer Communication Networks,Computer Science,Logics and Meanings of Programs,Mathematical Logic and Formal Languages,Programming Languages, Compilers, Interpreters,Programming Languages, Compilers, Interpreters,Software Engineering
622. Theory and practice of natural computing :
Author: David Fagan, Carlos Martín-Vide, Michael O'Neill, Miguel A. Vega-Rodríguez (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence, Congresses.,Natural computation, Congresses.,Artificial intelligence.,Natural computation.
Classification :
QA76
.
9
.
A43
623. Theory of Digital Automat
Author: / by Bohdan Borowik, Mykola Karpinskyy, Valery Lahno, Oleksandr Petrov
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Engineering,Logic design,Mathematics,Systems engineering,Electronic books
Classification :
E-BOOK
624. Theory of reversible computing
Author: Morita, Kenichi
Library: Library of Razi Metallurgical Research Center (Tehran)
Subject: ، Reversible computing -- Congresses,، Computer logic -- Congresses
Classification :
QA
76
.
9
.
R48R3
2017
625. Thinking-driven testing :
Author: Adam Roman.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer software-- Quality control.,Software engineering.,Software measurement.,Computer software-- Quality control.,COMPUTERS-- Programming-- General.,Software engineering.,Software measurement.
Classification :
QA76
.
758
626. Third International Conference on Logic Programming, Imperial College of Science and Technology, London, United Kingdom, July 14-18, 1986 :
Author: edited by Ehud Shapiro.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic programming -- Congresses.,Logic programming.,Programmation logique -- Congrès.
Classification :
QA76
.
6
E358
1986
627. Tools and algorithms for the construction and analysis of systems :
Author: Dirk Beyer, Marieke Huisman (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer software-- Verification, Congresses.,System analysis, Congresses.,System design, Congresses.,Algorithms & data structures.,Computer programming-- software development.,Computer software-- Verification.,Computers-- Hardware-- Handheld Devices.,Computers-- Information Theory.,Computers-- Programming-- General.,Computers-- Social Aspects-- Human-Computer Interaction.,Computers-- Software Development & Engineering-- General.,Information technology: general issues.,Software Engineering.,System analysis.,System design.,Systems analysis & design.
Classification :
QA76
.
9
.
S88
628. Tools and algorithms for the construction and analysis of systems :
Author: Tiziana Margaria, Bernhard Steffen, (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer software -- Development -- Congresses.,Electronic data processing -- Distributed processing -- Congresses.,System design -- Congresses.
629. Tools and algorithms for the construction and analysis of systems :
Author: Tomáš Vojnar, Lijun Zhang (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer software-- Verification, Congresses.,System analysis, Congresses.,System design, Congresses.,Computer software-- Verification.,System analysis.,System design.
Classification :
QA76
.
9
.
S88
630. Tools for Practical Software Verification :
Author: edited by Bertrand Meyer, Martin Nordio.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Logic design.,Software engineering.
Classification :
QA76
.
76
.
V47
E358
2012
631. Topics in cryptology -- CT-RSA 2018 :
Author: Nigel P. Smart (ed.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Data encryption (Computer science), Congresses.,Business & Economics-- Information Management.,Coding theory & cryptology.,Computer architecture & logic design.,Computers-- Hardware-- Network Hardware.,Computers-- Logic Design.,Computers-- Security-- General.,Computers-- Software Development & Engineering-- General.,Data encryption (Computer science),Information architecture.,Network hardware.,Software Engineering.
Classification :
QA76
.
9
.
A25
632. Towards Evolvable Hardware :
Author: edited by Eduardo Sanchez, Marco Tomassini.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer science.,Logic design.
Classification :
TK7888
.
4
E358
1996
633. Trace-based post-silicon validation for VLSI circuits
Author: / by Xiao Liu, Qiang Xu
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Integrated circuits, Very large scale integration, Design and construction,Integrated circuits, Verification,COMPUTERS / Logic Design, bisacsh,TECHNOLOGY & ENGINEERING / Electronics / Circuits / Logic, bisacsh,TECHNOLOGY & ENGINEERING / Electronics / Circuits / VLSI & ULSI, bisacsh,Integrated circuits, Verification, fast,Integrated circuits, Very large scale integration, Design and construction, fast,Engineering,Computer science,Systems engineering,Circuits and Systems,Processor Architectures,Semiconductors
Classification :
E-BOOK
634. Transactions on computational science XXXIII /
Author: Marina L. Gavrilova, C.J. Kenneth Tan (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Internet of things.,Wireless communication systems.,Computer Applications.,Computer Communication Networks.,Logic Design.,Mathematics of Computing.,Operating Systems.,Theory of Computation.,Computer architecture & logic design.,Computer science.,Computers-- Computer Science.,Computers-- Data Processing.,Computers-- Hardware-- Network Hardware.,Computers-- Logic Design.,Computers-- Operating Systems-- General.,Information technology: general issues.,Internet of things.,Mathematical theory of computation.,Network hardware.,Operating systems.,Wireless communication systems.
Classification :
TK5105
.
8857
635. Transactions on engineering technologies :
Author: Haeng Kon Kim, Mahyar A. Amouzegar, Sio-long Ao, editors
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science, Congresses,Engineering, Congresses,Technological innovations, Congresses,Technology, Congresses
Classification :
TA5
636. Trends in Artificial Intelligence :
Author: edited by Edoardo Ardizzone, Salvatore Gaglio, Filippo Sorbello.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer science.,Computer Science.
Classification :
Q334
.
E358
1991
637. Trends in Functional Programming :
Author: edited by Jay McCarthy.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Logic design.
Classification :
QA76
.
62
E358
2014
638. Trends in Functional Programming
Author: \ Jurriaan Hage , Jay McCarthy (Eds.)
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Functional programming (Computer science) -- Congresses.,Logic design -- Computer programs -- Congresses.,Data structures (Computer science) -- Congresses.,طراحی منطقی -- برنامههای کامپیوتری -- کنگره ها ,ساختار دادهها -- کنگره ها
Classification :
QA
76
.
62
.
T7
2015
E-Book
,
639. Trends in functional programming :
Author: Michał Pałka, Magnus Myreen (Eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Data structures (Computer science), Congresses.,Functional programming (Computer science), Congresses.,Logic design-- Computer programs, Congresses.,Computer science.,Data structures (Computer science),Functional programming (Computer science),Logic design-- Computer programs.,Logic design.,Operating systems (Computers)
Classification :
QA76
.
62
.
I58
2018
640. Trends in functional programming :
Author: David Van Horn, John Hughes (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Data structures (Computer science), Congresses.,Functional programming (Computer science), Congresses.,Logic design-- Computer programs, Congresses.,Data structures (Computer science),Functional programming (Computer science),Logic design-- Computer programs.
Classification :
QA76
.
62
